<html>
<head><meta charset="utf-8"><title>sync up · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html">sync up</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="162836218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162836218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162836218">(Apr 08 2019 at 17:11)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> -- sorry, not sure if I communicted very clearly that I would be on vacation last week.</p>



<a name="162836244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162836244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162836244">(Apr 08 2019 at 17:11)</a>:</h4>
<p>Maybe it'd be good for us to schedule some f2f time to chat and get sync'd again</p>



<a name="162838887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162838887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162838887">(Apr 08 2019 at 17:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I don't think you mentioned that (or I didn't hear it anyway), but I presumed as much and made some work up when I got stuck. And yes, that sounds like a good idea!</p>



<a name="162838958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162838958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162838958">(Apr 08 2019 at 17:43)</a>:</h4>
<p>(among other things, the "work" I made up is benchmarking compilation of about 500 of the most popular crates in GitHub/crates.io</p>



<a name="162838975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162838975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162838975">(Apr 08 2019 at 17:43)</a>:</h4>
<p>Or I did collect 1500 of them, but they are still running</p>



<a name="162839567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162839567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162839567">(Apr 08 2019 at 17:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> When do you have the time next time, starting (my) tomorrow? I'm too tired tonight to make any sense I think</p>



<a name="162839605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162839605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162839605">(Apr 08 2019 at 17:50)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> yes sorry</p>



<a name="162839669"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162839669" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162839669">(Apr 08 2019 at 17:51)</a>:</h4>
<p>I'm reasonably available tomorrow -- not sure what times work well for you</p>



<a name="162839687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162839687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162839687">(Apr 08 2019 at 17:52)</a>:</h4>
<p>Would 3pm UTC-04:00 be ok?</p>



<a name="162840147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162840147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162840147">(Apr 08 2019 at 17:56)</a>:</h4>
<blockquote>
<p>Would 3pm UTC-04:00 be ok?</p>
</blockquote>
<p>That works!</p>



<a name="162840670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162840670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162840670">(Apr 08 2019 at 18:02)</a>:</h4>
<p>15:00 is 21:00 for me, which is OK for anything that isn't a lot longer than an hour,  but most of your office hours most days work for me, up until 16:00 when it starts getting a bit late</p>



<a name="162846247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162846247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162846247">(Apr 08 2019 at 19:13)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> -- <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> and I were talking about trying to sync up tomorrow at 15:00. Not sure if any of y'all could make it.</p>



<a name="162846249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162846249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162846249">(Apr 08 2019 at 19:13)</a>:</h4>
<p>I'll create a calendar invite, anyway</p>



<a name="162846341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162846341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162846341">(Apr 08 2019 at 19:14)</a>:</h4>
<p><a href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NjVtb2Q4Nm03ZzEyZDdhMWIzZmQ5MmNwYzYgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com" target="_blank" title="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NjVtb2Q4Nm03ZzEyZDdhMWIzZmQ5MmNwYzYgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&amp;tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com">Done</a></p>



<a name="162937105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162937105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162937105">(Apr 09 2019 at 18:30)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> -- would it be possible to start the meeting <strong>now</strong>?</p>



<a name="162937296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162937296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162937296">(Apr 09 2019 at 18:32)</a>:</h4>
<blockquote>
<p><span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> -- would it be possible to start the meeting <strong>now</strong>?</p>
</blockquote>
<p>Yes! Just give me a few minutes to get ready</p>



<a name="162937565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162937565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162937565">(Apr 09 2019 at 18:36)</a>:</h4>
<p><a href="https://zoom.us/j/202426089" target="_blank" title="https://zoom.us/j/202426089">Zoom link</a></p>



<a name="162938008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162938008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162938008">(Apr 09 2019 at 18:40)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Sync-2019.04.09--Aa5RALFfSMduIquJ7ugCJiU~Ag-eff5WXxZqZ51lmoslf0XR" target="_blank" title="https://paper.dropbox.com/doc/Sync-2019.04.09--Aa5RALFfSMduIquJ7ugCJiU~Ag-eff5WXxZqZ51lmoslf0XR">Paper document</a></p>



<a name="162945144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162945144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162945144">(Apr 09 2019 at 20:04)</a>:</h4>
<p>Ok, the output now looks like this:</p>
<div class="codehilite"><pre><span></span>&quot;Start(B2[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Start(B2[0])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B2[0])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B1[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B2[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Start(B1[1])&quot; has live variables: [&quot;V1&quot;]
</pre></div>


<p>I just added a method:</p>
<div class="codehilite"><pre><span></span><span class="k">pub</span><span class="p">(</span><span class="k">crate</span><span class="p">)</span><span class="w"> </span><span class="k">fn</span> <span class="nf">untern_vec</span><span class="p">(</span><span class="o">&amp;</span><span class="bp">self</span><span class="p">,</span><span class="w"> </span><span class="n">data</span>: <span class="kp">&amp;</span><span class="nb">Vec</span><span class="o">&lt;</span><span class="n">TargetType</span><span class="o">&gt;</span><span class="p">)</span><span class="w"> </span>-&gt; <span class="nb">Vec</span><span class="o">&lt;&amp;</span><span class="kt">str</span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="n">data</span><span class="p">.</span><span class="n">into_iter</span><span class="p">().</span><span class="n">map</span><span class="p">(</span><span class="o">|</span><span class="n">d</span><span class="o">|</span><span class="w"> </span><span class="bp">self</span><span class="p">.</span><span class="n">untern</span><span class="p">(</span><span class="o">*</span><span class="n">d</span><span class="p">)).</span><span class="n">collect</span><span class="p">()</span><span class="w"></span>
<span class="w">    </span><span class="p">}</span><span class="w"></span>
</pre></div>



<a name="162945303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162945303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162945303">(Apr 09 2019 at 20:06)</a>:</h4>
<p>(I now think that loop in the test is fishy in that it only goes through the liveness annotations, but I'll have a look at it tomorrow when it's not in the middle of the night)</p>



<a name="162945912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162945912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162945912">(Apr 09 2019 at 20:15)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> hm, that .. might be correct? I sort of forget the test :)</p>



<a name="162983780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/162983780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#162983780">(Apr 10 2019 at 08:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I think it's wrong; given this:</p>
<div class="codehilite"><pre><span></span>        block B0 {
            invalidates(L0); // generate a point
            goto B1;
        }

        block B1 {
            var_defined(V1); // V1 dies
            invalidates(L0);
            goto B2;
        }

        block B2 {
            invalidates(L0);
            var_used(V1);
        }
</pre></div>


<p>The expected outcome would be that V1 is dead at B1 mid-point and up, right? If I recall correctly what you said yesterday. In the output, it is live at Mid(B1[1]) and dead before that</p>



<a name="163105030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163105030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163105030">(Apr 11 2019 at 14:34)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> it should go dead at <code>Mid(B1[0])</code> -- and I think it does</p>



<a name="163105057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163105057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163105057">(Apr 11 2019 at 14:34)</a>:</h4>
<p>i.e., I see it live at <code>Start(B1[1])</code> -- but not B1[0]</p>



<a name="163105161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163105161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163105161">(Apr 11 2019 at 14:35)</a>:</h4>
<p>Yes, and those are the only places it's live at</p>



<a name="163105168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163105168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163105168">(Apr 11 2019 at 14:35)</a>:</h4>
<p>So it sounds like it's about right</p>



<a name="163106241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163106241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163106241">(Apr 11 2019 at 14:46)</a>:</h4>
<p>those look like the right results -- but <span class="user-mention" data-user-id="204115">@Albin Stjerna</span>, if we change the definition back from <code>extend_anti</code> to <code>filter_anti</code>, does the result change?</p>



<a name="163106524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163106524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163106524">(Apr 11 2019 at 14:49)</a>:</h4>
<p>Yes, it changes:</p>
<div class="codehilite"><pre><span></span>&quot;Start(B2[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Start(B2[0])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B2[0])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B1[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B2[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Start(B1[1])&quot; has live variables: [&quot;V1&quot;]
&quot;Mid(B1[0])&quot; has live variables: [&quot;V1&quot;]
</pre></div>



<a name="163108992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163108992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163108992">(Apr 11 2019 at 15:16)</a>:</h4>
<p>I have pushed the new version using <code>extend_anti</code>, with a test that now verifies the edge case (ft. intelligible debug output)</p>



<a name="163135456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163135456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163135456">(Apr 11 2019 at 20:43)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> great</p>



<a name="163170658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163170658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163170658">(Apr 12 2019 at 08:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Regarding the plan: I would like to just submit the paperwork on Tuesday or Wednesday next week, ideally, as I realised I have a train trip booked as a student in two weeks and risk fines if I'm not registered by then. I checked with the person who does the registering, and he can fast-track me so that everything goes through the same day though, as long as you sign the form I emailed and I have a plan to submit.</p>



<a name="163170772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163170772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163170772">(Apr 12 2019 at 08:44)</a>:</h4>
<p>I'm suggesting we treat the plan as a timeout; when the time is up, I submit whatever we have, and we can still revise it if we aren't done by then</p>



<a name="163210776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163210776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163210776">(Apr 12 2019 at 17:42)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> ok sorry will do that today</p>



<a name="163210856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163210856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163210856">(Apr 12 2019 at 17:43)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> we should create a new doodle, I think, to reschedule the meeting from Thursday -- and maybe we can use the next one to try and make a more detailed plan</p>



<a name="163211101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sync%20up/near/163211101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sync.20up.html#163211101">(Apr 12 2019 at 17:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  Sounds good, but I will have to use the preliminary one I have for my project application, but I think that's probably fine</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>